Robert Bruce - PDFSEARCH.IO - Document Search Engine

Robert Bruce
Results: 331

#	Item
81	Blame for all Amal Ahmed1 and Robert Bruce Findler2 and Jacob Matthews3 and Philip Wadler4 1 Toyota Technological Institute at Chicago 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-06-23 17:48:31
82	Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System Burke Fetscher1 , Koen Claessen2 , Michał Pałka2 , John Hughes2 , and Robert Bruce Findler1 1 Add to Reading List Source URL: www.ece.northwestern.edu Language: English - Date: 2015-01-20 15:22:59
83	Downloaded from rspb.royalsocietypublishing.org on September 18, 2012 How the type of anthropogenic change alters the consequences of ecological traps Robert J. Fletcher, Jr, John L. Orrock and Bruce A. Robertson Proc. Add to Reading List Source URL: orrocklab.zoology.wisc.edu Language: English - Date: 2014-11-04 12:26:34
84	Exploring Circuit Timing-aware Languages and Compilation Giang Hoang Robert Bruce Findler Russ Joseph Add to Reading List Source URL: www.ece.northwestern.edu Language: English - Date: 2011-03-01 17:34:28
85	Distributed Places Kevin Tew1 , James Swaine2 , Matthew Flatt3 , Robert Bruce Findler2 , and Peter Dinda2 Brigham Young University 2 Northwestern University Add to Reading List Source URL: www.ece.northwestern.edu Language: English - Date: 2013-10-03 11:52:06
86	Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler This is the Technical Report version of the 2009 ESOP paper by the same Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-07 06:38:13
87	FOCUS E D U C AT I O N How to know when physicians are ready for genomic medicine Jason L. Vassy,1,2,3* Bruce R. Korf,4 Robert C. Green3,5 Add to Reading List Source URL: www.genomes2people.org Language: English - Date: 2015-05-13 13:06:08
88	Exploring Circuit Timing-aware Languages and Compilation Giang Hoang Robert Bruce Findler Russ Joseph Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2011-03-01 17:34:28 Software Compiler construction Compiler optimization Instruction scheduling Dynamic random-access memory Compiler Program optimization Formal methods Programming language implementation Software engineering Computing
89	Random Testing for Higher-Order, Stateful Programs Casey Klein Matthew Flatt Robert Bruce Findler Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2010-10-22 15:24:50 Object-oriented programming Source code Software testing Software bug Stack Algorithm Subroutine Class Statistical hypothesis testing Software engineering Computer programming Computing
90	Vol 446 \| 5 April 2007 \| doi:nature05718 LETTERS Global warming and climate forcing by recent albedo changes on Mars Lori K. Fenton1, Paul E. Geissler3 & Robert M. Haberle2 Add to Reading List Source URL: humbabe.arc.nasa.gov Language: English - Date: 2007-04-04 18:30:16 Astronomy Martian surface Mars Global Surveyor Climate Dust devil Atmosphere Climate of Mars Bruce Jakosky Mars Spacecraft Planetary science

UPDATE